معرفی منطق های آزاد
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر
- نویسنده نصیبا تبریزیان
- استاد راهنما اسفندیار اسلامی
- سال انتشار 1394
چکیده
منطق آزاد به منطق غیر کلاسیکی اطلاق می شود که از برخی فرض های وجودی منطق کلاسیک صرف نظر می کند. منطق آزاد به سه دسته ی مثبت، منفی و خنثی تقسیم می شود. در فصل اول این پایان نامه، منطق کلاسیک مرتبه اول و ویژگی های آن را بررسی می کنیم. در فصل دوم منطق آزاد را معرفی نموده و کاربردی از آن ارائه می دهیم. در فصل آخر برخی لم ها و قضایای مهم درمنطق مانند لم موضعی ، لم نمایش و قضایای صحت و تامیت را در منطق آزاد اثبات نموده و منطق آزاد و کلاسیک را مقایسه می نماییم.
منابع مشابه
معرفی منطق خطی
در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را ب...
عرفان منطقی یا منطق عرفانی؟ معرفی و نقد اجمالی کتاب عرفان و منطق
چکیده در این مقاله کتاب عرفان و منطق را که برآمده از مجموعۀ مقالات برتراند راسل است معرفی و بهاجمال نقد میکنیم. پس از معرفی کلی اثر، به امتیازها و کاستیهای آن در دو بُعد شکلی و محتوایی توجه و، از میان مقالات، بر مقالۀ «عرفان و منطق» تأکید میکنیم. راسل در این نوشته از زاویۀ طرح چهار مسئله به مَسلک عرفا میپردازد و آن را نقد میکند. این چهار مسئله عبارتاند از: 1. اذعان به دو تمایل متفاوت در ان...
متن کاملعرفان منطقی یا منطق عرفانی؟ معرفی و نقد اجمالی کتاب عرفان و منطق
چکیده در این مقاله کتاب عرفان و منطق را که برآمده از مجموعۀ مقالات برتراند راسل است معرفی و به اجمال نقد می کنیم. پس از معرفی کلی اثر، به امتیازها و کاستی های آن در دو بُعد شکلی و محتوایی توجه و، از میان مقالات، بر مقالۀ «عرفان و منطق» تأکید می کنیم. راسل در این نوشته از زاویۀ طرح چهار مسئله به مَسلک عرفا می پردازد و آن را نقد می کند. این چهار مسئله عبارت اند از: 1. اذعان به دو تمایل متفاوت در ان...
متن کاملتحلیل وجود محمولی در منطق آزاد
درحالی که به لحاظ شهودی و عرفی جمله ای مثل «رخش وجود ندارد» به وضوح صادق است اما طراحی سیستمی منطقی که بتواند با موضوع قرار دادن رخش و محمول قرار دادن وجود، این جمله را تحلیل کند، تبدیل به یکی از مسائل پیچیده ی منطقی و فلسفی گشته است. این پایان نامه در میان گستره ی نظریات پیرامون وجود محمولی، دامنه ی کاری خود را به تحلیل های سازگار با منطق آزاد محدود کرده است. ابتدا نظریه راسل در تحلیل وجود م...
15 صفحه اولمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023